Personnel
Overall Objectives
Application Domains
Highlights of the Year
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography
XML PDF e-pub
PDF e-Pub


Section: New Results

Capacity: an abstract model of control over personal data

Participant : Daniel Le Métayer.

While the control of individuals over their personal data is increasingly seen as an essential component of their privacy, the word “control” is usually used in a very vague way, both by lawyers and by computer scientists. This lack of precision may lead to misunderstandings and makes it difficult to check compliance. To address this issue, we have proposed in [17] a formal framework based on capacities to specify the notion of control over personal data and to reason about control properties. We have illustrated our framework with social network systems and shown that it makes it possible to characterize the types of control over personal data that they provide to their users and to compare them in a rigorous way. This work will be presented at CODASPY 2018.